Lightweight programming language - PDFSEARCH.IO - Document Search Engine

Lightweight programming language
Results: 27

#	Item
21	Type Qualifiers: Lightweight Specifications to Improve Software Quality by Jeffrey Scott Foster B.S. (Cornell University[removed]M.Eng. (Cornell University) 1996 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:26 Computing Data types Inference Object-oriented programming Program analysis Type system Subtype polymorphism Type inference Programming language Type theory Software engineering Programming language theory
22	The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming
23	ArcGIS Data Dictionary Smart Meter Geodatabase Version 1.0 ● Proposed Add to Reading List Source URL: www.sparxsystems.com.au Language: English - Date: 2014-11-06 23:53:49 Stereotype Technical terminology Unified Modeling Language Target Corporation Lightweight Directory Access Protocol Subtype polymorphism ArcGIS Null Attribute Computing Software engineering Object-oriented programming
24	Lightweight Language Weekend 発表資料「君ならどう書く」お題: ls-lR Shell 言語: Haskell 発表者: 花谷 ■ Main.hs 1 module Main where 2 3 import List 4 import IO Add to Reading List Source URL: ll.jus.or.jp Language: English - Date: 2005-09-01 04:14:40 Computer programming Recursion Fold Subroutines Read–eval–print loop Map Main function Software engineering Computing Higher-order functions
25	Job Aid: Report Formulas Introduction This document is intended to be used a Job Aid to assist Report Managers with adding formulas to standard reports available through the LearnAlaska Reports Console menu. Please refer Add to Reading List Source URL: doa.alaska.gov Language: English - Date: 2014-09-26 15:25:54 Internet protocols Lightweight Directory Access Protocol SQL keywords Internet Join ALGOL 68 Column Computing Internet standards Programming language theory
26	Creating statistical reports in the past, present and future On reproducible research and literate programming Gergely Daróczi [removed] Add to Reading List Source URL: r-project.ro Language: English - Date: 2014-04-02 05:01:51 Lightweight markup languages Markdown Notetaking R Gergely Literate programming Pascal Python Computing Software engineering Programming language theory
27	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story Tobias Lindahl and Konstantinos Sagonas Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2004-08-30 16:31:24 Erlang programming language Ericsson Erlang Cross-platform software Procedural programming languages Type system Open Telecom Platform Bytecode Data-flow analysis Computing Software engineering Computer programming

UPDATE